1. A Concise Introduction to Mathematical Logic
المؤلف: by Wolfgang Rautenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. A Course on Mathematical Logi
المؤلف: / by Shashi Mohan Srivastava
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
3. <A> Theory of Syntax : Minimal Operations and Universal Grammar
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Grammar, Comparative and general - Syntax,Minimalist theory (Linguistics),Language and languages - Origin,Evolution,دستور زبان تطبیقی - نحو,زبان - منشاء,تکامل
رده :
CD-B
,
P
,
291
.
H662
,
2009
4. A companion of feminisms for digital design and spherology /
المؤلف: Amanda Windle.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Feminist theory.,Social structure-- Philosophy.,Sphere in art.,Feminist theory.,Social structure-- Philosophy.,Sphere in art.
رده :
HQ1190
.
W56
2019
5. A first journey through logic /
المؤلف: Martin Hils, François Loeser.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
6. A mathematical introduction to logic
المؤلف: / Herbert B. Enderton
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical
رده :
E-BOOK
7. A theory of syntax :minimal operations and universal grammar
المؤلف: [By] Norbert Hornstein
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Grammar, Comparative and general--Syntax.,Minimalist theory (Linguistics),Language and languages--Origin.,Evolution.
8. Abstract recursion and intrinsic complexity
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algorithms. ; Recursion theory. ; Set theory. ;
9. Abstract recursion and intrinsic complexity /
المؤلف: Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
10. Algebraic computability and enumeration models : recursion theory and descriptive complexity
المؤلف: Nourani, Cyrus F.
المکتبة: (طهران)
موضوع: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
11. Algebraic recursion theory
المؤلف: Ivanov, Ljubomir Lalov, 2591-
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
I93
12. Algebraic recursion theory /
المؤلف: L.L. Ivanov ; editor, Dr. J.L. Bell
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Recursion theory
رده :
QA9
.
6
.
I93
1986
13. Algorithm design : a recursion transformation framework
المؤلف: Paull, Marvin C.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
P38
1988
14. Algorithmics :
المؤلف: Gilles Brassard and Paul Bratley.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
رده :
QA9
.
6
.
B73
1988
15. Algorithmics
المؤلف: Gilles Brassard and Paul Bratley,Title
المکتبة: (مازندران)
موضوع: Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1988
16. Algorithmics : Theory and practice
المؤلف: / Gilles Brassard, Paul Bratley
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Recursion theory,Algorithems
رده :
QA9
.
6
.
B73
1988
17. Algorithmics : theory and practice
المؤلف: Gilles Brassard and Paul Bratley,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1987
18. Algorithmics: theory and practice
پدیدآورنده : Gilles Brassard and paul Bratley
موضوع : Recursion theory,Algorithms
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
19. Algorithmics : theory and practice
المؤلف: Brassard, Gilles
المکتبة: (طهران)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
20. Algorithmics:theory and practice
المؤلف: BRASSAARD,GILLES
المکتبة: (طهران)
موضوع: RECURSION THEORY , ALGORITHMS
رده :
QA
9
.
6
.
B73
